The expressive power of parallelismPARROW, J.FGCS. Future generations computer systems. 1990, Vol 6, Num 3, pp 271-285, issn 0167-739X, 15 p.Article

Proving properties of dynamic process networksDAM, M.Information and computation (Print). 1998, Vol 140, Num 2, pp 95-114, issn 0890-5401Article

Specification oriented semantics for communicating processesOLDEROG, E.-R; HOARE, C. A. R.Acta informatica. 1986, Vol 23, Num 1, pp 9-66, issn 0001-5903Article

Macro tree transducersENGELFRIET, J; VOGLER, H.Journal of computer and system sciences (Print). 1985, Vol 31, Num 1, pp 71-146, issn 0022-0000Article

A non-SOS operational semantics for a process algebraFRACZAK, W; ZAREMBA, M. B.Information processing letters. 1998, Vol 68, Num 1, pp 47-54, issn 0020-0190Article

The rationalist conception of logicWAGNER, S. J.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 3-35, issn 0029-4527Article

Frege on truth and referenceYOUR GRAU, P.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 132-138, issn 0029-4527Article

On the brink of a paradox?RUSSINOFF, I. S.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 115-131, issn 0029-4527Article

A survey on attribute grammars. 1. Main resulsts on attribute grammarsDERANSART, Pierre; JOURDAN, Martin; LORHO, Bernard et al.Rapports de recherche - INRIA. 1986, Num 485, issn 0249-6399, 1 p.Report

Priority Rewrite systems for OSOS process languagesULIDOWSKI, Irek.Lecture notes in computer science. 2003, pp 87-102, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

A contractionless semilattice semanticsGIAMBRONE, S; MEYER, R. K; URQUHART, A et al.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 526-529, issn 0022-4812Article

Semantical antinomies in the logic of sense and denotationANDERSON, C. A.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 99-114, issn 0029-4527Article

Axiomatizing schemes and their behaviorsBLOOM, S. L; ESIK, Z.Journal of computer and system sciences (Print). 1985, Vol 31, Num 3, pp 375-393, issn 0022-0000Article

Semantics of nondeterministic possible worldsORLOWSKA, E.Bulletin of the Polish academy of sciences. Mathematics. 1985, Vol 33, Num 9-10, pp 453-458Article

The modal logic of «all and only»HUMBERSTONE, I. L.Notre Dame journal of formal logic. 1987, Vol 28, Num 2, pp 177-188, issn 0029-4527Article

A complete inference system for an algebra of regular acceptance modelsGRAF, Susanne.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 581. 1986, 24 p.Report

The university of Salford LISP/PROLOG systemBAILEY, D.Software, practice & experience. 1985, Vol 15, Num 6, pp 595-609, issn 0038-0644Article

Les significations de mots et leur mode de variation = Signification of words and their way of modificationLE NY, J.-F.Psychologie française. 1985, Vol 30, Num 2, pp 116-122, issn 0033-2984Article

Distributed processes and location failuresRIELY, J; HENNESSY, M.Lecture notes in computer science. 1997, pp 471-481, issn 0302-9743, isbn 3-540-63165-8Conference Paper

High level expressions with their SOS semanticsKLAUDEL, H; RIEMANN, R.-C.Lecture notes in computer science. 1997, pp 288-301, issn 0302-9743, isbn 3-540-63141-0Conference Paper

On modular properties of higher order extensional lambda calculiDI COSMO, R; GHANI, N.Lecture notes in computer science. 1997, pp 237-247, issn 0302-9743, isbn 3-540-63165-8Conference Paper

Frege's two senses of «is»MENDELSOHN, R. L.Notre Dame journal of formal logic. 1987, Vol 28, Num 1, pp 139-160, issn 0029-4527Article

A simple fixpoint argument without the restriction to continuityDIJKSTRA, E. W; VAN GASTEREN, A. J. M.Acta informatica. 1986, Vol 23, Num 1, pp 1-7, issn 0001-5903Article

Kripke-type semantics for Da Costa's paraconsistent logic CwBAAZ, M.Notre Dame journal of formal logic. 1986, Vol 27, Num 4, pp 523-527, issn 0029-4527Article

Semantic congruity and expectancy as separate processesBANKS, W. P; WHITE, H.Memory & cognition. 1986, Vol 13, Num 6, pp 485-493, issn 0090-502XArticle